home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / sys / amiga / programmer / 4361 < prev    next >
Encoding:
Text File  |  1996-08-05  |  2.8 KB  |  82 lines
  1. Path: newsserver.trl.OZ.AU!rhea!aduncan
  2. From: aduncan@rhea.trl.OZ.AU (Allan Duncan)
  3. Newsgroups: comp.sys.amiga.programmer
  4. Subject: Re: 3 bugs in SAS/C v. 6.56
  5. Date: 28 Feb 1996 04:33:57 GMT
  6. Organization: Telecom Research Laboratories, Melbourne, Australia.
  7. Message-ID: <4h0lvl$du2@newsserver.trl.OZ.AU>
  8. References: <4gs3hk$7mp@gjallar.daimi.aau.dk>
  9. NNTP-Posting-Host: rhea.trl.oz.au
  10.  
  11. From article <4gs3hk$7mp@gjallar.daimi.aau.dk>, by liborius@daimi.aau.dk (Per Liboriussen):
  12. > Thus spake Morten B=?iso-8859-2?Q?=F8geskov Jensen <bogeskov@diku.dk>?=:
  13. > 
  14. >>#include <stdio.h>
  15. > 
  16. >>int main(void)
  17. >>{
  18. >>    unsigned short a = 0xffff, b = 0xffff;
  19. > 
  20. >>    if ((a | b) > (unsigned short)0x7fff) {
  21. >>        printf("ok\n");
  22. >>    } else {
  23. >>        printf("bad\n");
  24. >>    }
  25. >>    return 0;
  26. >>}
  27. > 
  28. >>This should work.. But I haven't tested it, since I'm not at home, so I
  29. >>cannot reach out and get SAS/C.
  30. > 
  31. > Neither am I, so the same goes for me. However, a working workaround is
  32. > something like:
  33.  
  34. Well, I got bad for SAS 6.56, and ok for Gcc on the Sun sparc.
  35.  
  36. ...
  37.  
  38. > I don't see what the associativeness of ">" has to do with the above.
  39. > Anyway, when a compiler evaluates a boolean expression such as ">", it
  40. > must perform the usual integral promotions. This means that types narrower
  41. > than int are promoted to int before the comparison. Even in your example
  42. > above the compiler must take the (integer) constant 0x7fff, convert it to
  43.  
  44.                     ^
  45.                 unsigned for ANSI
  46.  
  47. Try this test programme (for a 32 bit int and 2's complement
  48. arithmetic):
  49.  
  50. #include        <stdio.h>
  51.  
  52. #define K 0xFFFFFFFF
  53.  
  54. main()
  55. {
  56. printf( "Int %d, long %d, short %d\n", sizeof( int ), sizeof( long int),
  57.                                         sizeof( short int ) ) ;
  58. if ( K > 0 ) printf( "ANSI C\n" ) ;
  59. else printf( " trad C\n" ) ;
  60. }
  61.  
  62. > unsigned short, and then immediately convert it back to int. Of course,
  63. > the ISO C Standard does give permission for an implementation to carry out
  64. > the comparison by any arcane magic it may wish, as long as a conforming
  65. > program is not able to tell the difference. (The "as if" rule.)
  66. > 
  67. > (Note furthermore that even though a and b are both unsigned shorts, the
  68. > type of the expression (a | b) is int!)
  69.  
  70. a and b are promoted to int under ANSI, and hence a | b is int.  Trad. C
  71. would have promoted a and b to u-int.
  72.  
  73. Adding unsigned short c ;
  74. and setting c = (a | b) before using c in the if changes the SAS
  75. behaviour.  The implication is that SAS are doing a sign extension of a
  76. and b on the int conversion in the if, but not in the assign...
  77. now where is that dissassembler...
  78. Allan Duncan  a.duncan@trl.telstra.com.au  (+613) 9253 6708, Fax 9253 6664
  79.  Photonics & Reference Standards Section
  80.  Telstra Research Labs, Box 249 Rosebank MDC
  81.  Clayton, Victoria, 3169, Australia   (a world renowned Lab in past times)
  82.